Bodin Evgeniy V., Veretnov Sergey O., Nepomniaschy Valery A. «The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language» // Tomsk State University Journal of Control and Computer Science 2020. №53 C.118-126
Поиск по сайту
Recent News
Contacts
- 36, Lenin Avenue, Tomsk, 634050, Russia, Tomsk State University, Institute of Applied Mathematics and Computer Science
- Alexander Zamyatin - Editor-in-Chief, Doctor of Science, Prof., Director of the Institute of Applied Mathematics and Computer Science
- (3822) 529-496
- vestnik_uvti@mail.tsu.ru
License type:
Tomsk State University Journal of Control and Computer Science
